Na programação de operações de movimentação de petróleo em complexos portuários contendo navios, píeres, tanques e oleodutos, um modelo de otimização das operações é frequentemente utilizado. Entretanto, devido à complexidade do problema, o tempo computacional é um fator limitante. Neste artigo, estuda-se a aplicação de um modelo de programação linear inteira mista (PLIM) existente na literatura e propõe-se uma etapa de pré-processamento, baseada na teoria das restrições (TOC), com o objetivo de reduzir o tempo computacional. A partir da identificação do gargalo do problema, determinadas restrições são retiradas do modelo numa etapa de pré-processamento. Para verificar a escolha das restrições críticas no pré-processamento, uma análise baseada na noção de preço dual do LP é apresentada. Embora a otimalidade da solução não seja garantida, os resultados mostram uma pequena deterioração da solução em relação à ótima. Porém, com o tempo computacional significativamente reduzido.

In the scheduling of oil transfer operations for harbor plants containing ships, piers, tanks and pipelines, an optimization model is frequently used. However, due to the complexity involved, computational time is a real concern. In this paper, a mixed integer linear programming model (MILP) found in the literature is studied and a preprocessing procedure is proposed. This procedure is based on the Theory of Constraints (TOC), which is used to reduce the model compilation time. Since the problem bottleneck is identified, the corresponding constraints are not considered in the preprocessing step. An analysis based on LP dual price is also carried out to verify actions taken in the preprocessing step. Although optimality cannot be assured, the results obtained show a minor deviation from the optimal solution but with a significant computational time gain.

As redes de Petri temporais são uma das extensões das redes de Petri convencionais para modelagem e análise de sistemas a eventos discretos temporizados. A cada transição da rede é associado um intervalo de tempo, o qual delimita o instante de disparo da transição. A análise das redes de Petri temporais tem sido feita por métodos enumerativos que relacionam todos os estados alcançáveis da rede. Neste artigo, usando recursos da álgebra intervalar e utilizando o conceito de classe de estados, é apresentada uma abordagem para resolver problemas relacionados à caracterização de intervalos de tempo de disparo em redes de Petri temporais. A partir de uma expressão algébrica, desenvolvida para cálculo de intervalos de tempo entre duas classes de estados consecutivas, obtém-se uma equação intervalar que possibilita o cálculo de intervalos de tempo entre duas classes de estados quaisquer. Assim, é possível calcular o intervalo de tempo para ocorrência de uma seqüência de eventos. Utilizando um método de redução da rede, a equação intervalar assume a forma matricial e, com isso, amplia a classe das redes de Petri temporais à qual a equação intervalar é aplicável. Por fim, uma aplicação explorando as potencialidades da equação intervalar no cálculo de medidas características de um sistema a eventos discretos temporizados é apresentada.

This paper deals with time Petri nets where a time interval is associated to each transition. Time Petri nets are widely used for modeling and analysis of real-time systems. Although there are several techniques for time Petri net analysis, this paper presents an interval analysis using a global time approach where an algebraic model is proposed for computing of intervals. For a particular class of time Petri nets, this model assumes an interval linear equation form which allows to compute intervals for a firing sequence as well as performance measures for timed systems. By using a redution method for time Petri nets this model assumes a matricial form that can be applied to a broad class of Time Petri nets. Furthermore, this approach is illustrated by computing basic performance metrics for a communication protocol.

Este artigo trata do controle de sistemas a eventos discretos modelados pela álgebra Max-plus. Esta abordagem é usada para descrever processos cuja dinâmica seja caracterizada por retardos no tempo e fenômenos de sincronização. Exemplos típicos desses processos são as linhas de montagem em sistemas de manufatura. O problema de controle estudado está relacionado à estratégia ''just-in-time'' em planejamento da produção. Neste artigo tutorial, diversas estratégias baseadas na abordagem por modelo de referência são apresentadas, exemplificadas e discutidas.

This paper deals with the control of discrete event systems modelled by the Max-plus algebra. This approach is used to describe processes whose dynamics are characterized by time delay and synchronization phenomena. Typical examples of these processes are assembly lines in manufacturing systems. The studied control problem is related to the just-in-time strategy for production planning. In this tutorial paper, several strategies based on the model reference control approach are presented, exemplified and discussed.